module Monitor 

open Device

sig Monitor extends Device {
}
